| |
541717
|
Infos complémentaires |
| parentName_s |
LIP6 |
|
Modélisation et Vérification |
MoVe |
researchteam |
|
|
2018-01-01 |
|
|
| |
530003
|
Infos complémentaires |
| parentName_s |
Laboratoire d'Informatique et des Systèmes (LIS) (Marseille, Toulon) |
|
Modélisation et Vérification |
MOVE |
researchteam |
Luminy |
|
|
|
|
| |
405336
|
Infos complémentaires |
| parentName_s |
Laboratoire d'Informatique de Paris 6 |
|
Modélisation et Vérification |
MoVe |
researchteam |
|
|
2004-01-01 |
2017-12-31 |
|
| |
484948
|
Infos complémentaires |
| parentName_s |
Laboratoire d'informatique Fondamentale de Marseille |
|
Modélisation et Vérification |
MOVE |
researchteam |
Luminy |
|
|
|
|
| |
396892
|
Infos complémentaires |
| parentName_s |
Laboratoire d'informatique Algorithmique : Fondements et Applications |
|
Modélisation et Vérification |
|
researchteam |
|
|
|
|
|
